1. Computing in Horn Clause Theories
المؤلف: by Peter Padawitz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
B974
1988
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)